cmseq?($x$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$case $x$ of config(${\it list}$) =$>$ ff seq(${\it from}$,${\it to}$,${\it num}$) =$>$ tt